supervisory logic emergency truth tables fire medical statechart embedded systems disaster disaster preparedness mathlab recovery logic stateflow matlab